body {
  overflow: hidden;
  height: 100%;
}
#embeddedEditor {
  margin: 0;
  padding: 0;
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
}
#loadingOverview {
  width: 100vw;
  height: 100vh;
  z-index: 1000;
}
.modified-line {
  background: skyblue;
  width: 3px !important;
  margin-left: 5px;
}
.deleted-line {
  width: 3px !important;
  margin-left: 5px;
}
.deleted-line::after {
  display: inline-block;
  position: absolute;
  box-sizing: border-box;
  width: 0px;
  height: 0px;
  top: 100%;
  content: "";
  border-top: 4px solid transparent;
  border-left: 4px solid #ca4b51;
  border-bottom: 4px solid transparent;
  margin-top: -4px;
}
